"Yves / CastTran" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Interactive Theorem Proving and Program Development

Yves / CastTran, Pierre / Huet, Gerard (FRW) / Paulin-Mohring, Christine (FRW) Bertot

Категория: AI, knowledge

3.17 Mb

#2

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions

Yves Bertot, Pierre Castéran, Pierre CastTran, G. Huet, C. Paulin-Mohring

1.85 Mb